根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.......

工作流系统中活动之间的序关系非常有用,然而这些序关系的获取往往比较困难。讨论了运用T-不变量分解法获取序关系的可行性,并将so......

Petri网的合法变迁引发序列（Legal Firing Sequence,简称LFS）问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指......

提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结......